Ed. Note: The whole thing has been improved since 1976. It can
run the same way mutual co-recursive procedures, and
also what I call "enveloped" tail-recursions, as in
(DE foo (x)
(IF (ZEROP x) 0
(+ x (foo (SUB1 x)))))